Generic Haskell: A Language for Generic Programming (NWO-EW Proposal)
نویسنده
چکیده
منابع مشابه
Scripting XML with Generic Haskell
A generic program is written once and works on values of many data types. Generic Haskell is a recent extension of the functional programming language Haskell that supports generic programming. This paper discusses how Generic Haskell can be used to implement XML tools whose behaviour depends on the DTD or Schema of the input XML document. Example tools include XML editors, databases, and compr...
متن کاملComparing Datatype Generic Libraries in Haskell
Datatype-generic programming is about defining functions that depend on the structure, or “shape”, of datatypes. It has been around for more than 10 years, and a lot of progress has been made, in particular in the lazy functional programming language Haskell. There are more than 10 proposals for generic programming libraries or language extensions for Haskell. In this paper we compare and chara...
متن کاملGeneric Haskell, Specifically
Generic H A SKELL exploits the promising new incarnation of generic programming due to Hinze. Apart from extending the programming language Haskell, Hinze-style polytypism offers a simple approach to defining generic functions which are applicable to types of all kinds. Here we explore a number of simple but significant extensions to Hinze’s ideas which make generic programming both more expres...
متن کاملUsage of Generic Programming on Hackage
Generic programming language constructs, tools and libraries have been available in Haskell since the first report on the programming language Haskell. At the beginning of the 1990s generic programming techniques could be used via the deriving construct, and since then numerous generic programming libraries and tools have been developed. At the time of writing, the categories ‘generic’ and ‘gen...
متن کاملYet Another Generic Haskell
In previous work, we invented the notion of functional strategies, that is, first-class generic functions which can traverse into terms of any type while mixing uniform and type-specific behaviour. In the present paper, we reconstruct functional strategies in Haskell in an extremely compact style relying on just two combinators: adho for type-based function dispatch, and hfoldr for folding over...
متن کامل